In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...